28 found
Order:
  1.  8
    Some uses of type theory in the analysis of language.M. K. Rennie - 1974 - [Canberra,: Dept. of Philosophy, Research School of Social Sciences, Australian National University.
  2.  16
    Models for Multiply Modal Systems.M. K. Rennie - 1970 - Mathematical Logic Quarterly 16 (2):175-186.
  3.  13
    Logic: theory and practice.M. K. Rennie - 1973 - Brisbane,: University of Queensland Press. Edited by Roderick A. Girle.
  4. Completeness in the logic of predicate modifiers.M. K. Rennie - 1971 - Logique Et Analyse 55:627-643.
     
    Export citation  
     
    Bookmark   3 citations  
  5. Remark on cresswell on S0. 5.M. K. Rennie - 1971 - Logique Et Analyse 14:757-758.
  6. Semantics for RK1t.M. K. Rennie - 1971 - Journal of Symbolic Logic 36 (1):97 - 107.
  7. Two mistakes about logic.M. K. Rennie - 1968 - Philosophical Quarterly 18 (73):354-355.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  8.  20
    Must the propositions of arithmetic be empirical?R. D. Bradley & M. K. Rennie - 1971 - Noûs 5 (3):253-271.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  9.  11
    Theory of procedures. I. Simple conditionals.M. K. Rennie - 1969 - Notre Dame Journal of Formal Logic 10 (1):97-112.
  10.  15
    A Remark on the Truth-Value Stipulation for the Modal System M'.M. K. Rennie - 1974 - Journal of Symbolic Logic 39 (2):351-351.
  11. A correction to Mackie's natural deduction.M. K. Rennie - 1967 - Logique Et Analyse 37:207.
     
    Export citation  
     
    Bookmark  
  12. A function which Bounds truth-tabular calculations in s5.M. K. Rennie - 1968 - Logique Et Analyse 11:425.
     
    Export citation  
     
    Bookmark  
  13.  24
    Massey Gerald J.. The theory of truth tabular connectives, both truth functional and modal.M. K. Rennie - 1972 - Journal of Symbolic Logic 37 (1):183-184.
  14.  24
    On Hare's "better".M. K. Rennie - 1968 - Noûs 2 (1):75-79.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  15.  55
    On Postulates for Temporal Order.M. K. Rennie - 1969 - The Monist 53 (3):457-468.
    In Prior’s [4], Appendix A §4 and §5, and Chapter IV, and more explicitly in Bull’s [2], we find sequences of tense-logical systems which place increasingly more restrictive conditions on the temporal relation “… is before …”. We give here a simple, diagrammatic account of the way in which the successive postulates for temporal order place these conditions on the temporal relation: we do not provide any essentially new semantics for these systems, nor do we prove any rigorous metatheorems. We (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  16.  22
    Semantics for $RK^1_t$.M. K. Rennie - 1971 - Journal of Symbolic Logic 36 (1):97-107.
  17.  28
    S3(s) = S.M. K. Rennie - 1968 - Journal of Symbolic Logic 33 (3):444-445.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  18.  25
    S3(s) = s3.5.M. K. Rennie - 1968 - Journal of Symbolic Logic 33 (3):444 - 445.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  19.  22
    $S3(s) = s3.5$.M. K. Rennie - 1968 - Journal of Symbolic Logic 33 (3):444-445.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  20.  9
    S3 = s3.5.M. K. Rennie - 1968 - Journal of Symbolic Logic 33 (3):444-445.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  21.  26
    Can There be Random Individuals?Mr. Rescher on Random Individuals.The Rules of Natural Deduction.The Symbolising of Natural Deduction.Arbitrary Individuals and Natural Deduction.A Correction to Mackie's Natural Deduction.Nicholas Rescher, L. Goddard, J. L. Mackie, Robert Price & M. K. Rennie - 1957 - Journal of Symbolic Logic 35 (1):165-166.
  22.  23
    Gerald J. Massey. The theory of truth tabular connectives, both truth functional and modal. The journal of symbolic logic, vol. 31 , pp. 593–608. - Gerald J. Massey. Binary connectives functionally complete by themselves in S5 modal logic. The journal of symbolic logic, vol. 32 , pp. 91–92. [REVIEW]M. K. Rennie - 1972 - Journal of Symbolic Logic 37 (1):183-184.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  23.  9
    Akira Nakamura. A remark on the truth-value stipulation for the modal system M′. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 13 , pp. 11–14. - Akira Nakamura. On an axiomatic system of modal logic. Zeitschrift für mathematische Logik und Grundlagen der Mathematik vol. 14 , pp. 61–66. - R. A. Bull. On a paper of Akira Nakamura. Zeitschrift für mathematische Logik und Grundlagen der Mathematik vol. 15 , pp. 155–156. [REVIEW]M. K. Rennie - 1974 - Journal of Symbolic Logic 39 (2):351-351.
  24.  14
    Review: Akira Nakamura, A Remark on the Truth-Value Stipulation for the Modal System $M$'; Akira Nakamura, On an Axiomatic System of Modal Logic; R. A. Bull, On a Paper of Akira Nakamura. [REVIEW]M. K. Rennie - 1974 - Journal of Symbolic Logic 39 (2):351-351.
  25. RYBAK, J., and RYBAK, J.: "Map Logic and Other Extensions of Traditional Logic". [REVIEW]M. K. Rennie - 1975 - Australasian Journal of Philosophy 53:101.
     
    Export citation  
     
    Bookmark  
  26. RESSWELL, M. J.: "Logics and Languages". [REVIEW]M. K. Rennie - 1974 - Australasian Journal of Philosophy 52:277.
  27. RESCHER, Nicholas: Topics in Philosophical Logic. [REVIEW]M. K. Rennie - 1970 - Australasian Journal of Philosophy 48:153.
    No categories
     
    Export citation  
     
    Bookmark  
  28.  8
    SCHOCK, Rolf: Logics Without Existence Assumptions. [REVIEW]M. K. Rennie - 1969 - Australasian Journal of Philosophy 47:396.
    Direct download  
     
    Export citation  
     
    Bookmark